Type decomposition in NIP theories
نویسنده
چکیده
A first order theory is NIP if all definable families of subsets have finite VCdimension. We provide a justification for the intuition that NIP structures should be a combination of stable and order-like components. More precisely, we prove that any type in an NIP theory can be decomposed into a stable part (a generically stable partial type) and an order-like quotient.
منابع مشابه
Topological dynamics and definable groups
We give a commentary on Newelski’s suggestion or conjecture [8] that topological dynamics, in the sense of Ellis [3], applied to the action of a definable group G(M) on its type space SG(M), can explain, account for, or give rise to, the quotient G/G00, at least for suitable groups in NIP theories. We give a positive answer for measure-stable (or fsg) groups in NIP theories. As part of our anal...
متن کاملLascar strong types and forking in NIP theories
This is an updated and slightly expanded version of a tutorial given in the Mini-Course in Model Theory, Torino, February 9-11, 2011. Some parts were previously exposed in the Model Theory Seminar of Barcelona. The main goals were to clarify the relation of forking with some versions of splitting in NIP theories and to present the known results on G-compactness, including a full proof of a theo...
متن کاملDistal and non-distal NIP theories
We study one way in which stable phenomena can exist in an NIP theory. We start by defining a notion of ‘pure instability’ that we call ‘distality’ in which no such phenomenon occurs. O-minimal theories and the p-adics for example are distal. Next, we try to understand what happens when distality fails. Given a type p over a sufficiently saturated model, we extract, in some sense, the stable pa...
متن کاملExternal definability and groups in NIP theories
We prove that many properties and invariants of definable groups in NIP theories, such as definable amenability, G/G00, etc., are preserved when passing to the theory of the Shelah expansion by externally definable sets, Mext, of a model M . In the light of these results we continue the study of the “definable topological dynamics” of groups in NIP theories. In particular we prove the Ellis gro...
متن کاملWeight and Measure in NIP Theories
We initiate an account of Shelah’s notion of “strong dependence” in terms of generically stable measures, proving a measure analogue (for NIP theories) of the fact that a stable theory T is “strongly dependent” if and only if all (finitary) types have finite weight.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017